Integrand size = 25, antiderivative size = 241 \[ \int \cos ^3(e+f x) \left (a+b \sec ^2(e+f x)\right )^{3/2} \, dx=\frac {a \cos ^2(e+f x) \sin (e+f x) \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}}{3 f}+\frac {2 (a+2 b) \sqrt {\cos ^2(e+f x)} E\left (\arcsin (\sin (e+f x))\left |\frac {a}{a+b}\right .\right ) \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}}{3 f \sqrt {1-\frac {a \sin ^2(e+f x)}{a+b}}}-\frac {b (a+b) \sqrt {\cos ^2(e+f x)} \operatorname {EllipticF}\left (\arcsin (\sin (e+f x)),\frac {a}{a+b}\right ) \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )} \sqrt {1-\frac {a \sin ^2(e+f x)}{a+b}}}{3 f \left (a+b-a \sin ^2(e+f x)\right )} \]
[Out]
Time = 0.39 (sec) , antiderivative size = 241, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.360, Rules used = {4233, 1985, 1986, 427, 538, 437, 435, 432, 430} \[ \int \cos ^3(e+f x) \left (a+b \sec ^2(e+f x)\right )^{3/2} \, dx=-\frac {b (a+b) \sqrt {\cos ^2(e+f x)} \sqrt {1-\frac {a \sin ^2(e+f x)}{a+b}} \sqrt {\sec ^2(e+f x) \left (-a \sin ^2(e+f x)+a+b\right )} \operatorname {EllipticF}\left (\arcsin (\sin (e+f x)),\frac {a}{a+b}\right )}{3 f \left (-a \sin ^2(e+f x)+a+b\right )}+\frac {2 (a+2 b) \sqrt {\cos ^2(e+f x)} \sqrt {\sec ^2(e+f x) \left (-a \sin ^2(e+f x)+a+b\right )} E\left (\arcsin (\sin (e+f x))\left |\frac {a}{a+b}\right .\right )}{3 f \sqrt {1-\frac {a \sin ^2(e+f x)}{a+b}}}+\frac {a \sin (e+f x) \cos ^2(e+f x) \sqrt {\sec ^2(e+f x) \left (-a \sin ^2(e+f x)+a+b\right )}}{3 f} \]
[In]
[Out]
Rule 427
Rule 430
Rule 432
Rule 435
Rule 437
Rule 538
Rule 1985
Rule 1986
Rule 4233
Rubi steps \begin{align*} \text {integral}& = \frac {\text {Subst}\left (\int \left (1-x^2\right ) \left (a+\frac {b}{1-x^2}\right )^{3/2} \, dx,x,\sin (e+f x)\right )}{f} \\ & = \frac {\text {Subst}\left (\int \left (1-x^2\right ) \left (\frac {a+b-a x^2}{1-x^2}\right )^{3/2} \, dx,x,\sin (e+f x)\right )}{f} \\ & = \frac {\left (\sqrt {\cos ^2(e+f x)} \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}\right ) \text {Subst}\left (\int \frac {\left (a+b-a x^2\right )^{3/2}}{\sqrt {1-x^2}} \, dx,x,\sin (e+f x)\right )}{f \sqrt {a+b-a \sin ^2(e+f x)}} \\ & = \frac {a \cos ^2(e+f x) \sin (e+f x) \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}}{3 f}-\frac {\left (\sqrt {\cos ^2(e+f x)} \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}\right ) \text {Subst}\left (\int \frac {(a+b) (a-3 (a+b))+2 a (a+2 b) x^2}{\sqrt {1-x^2} \sqrt {a+b-a x^2}} \, dx,x,\sin (e+f x)\right )}{3 f \sqrt {a+b-a \sin ^2(e+f x)}} \\ & = \frac {a \cos ^2(e+f x) \sin (e+f x) \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}}{3 f}-\frac {\left (b (a+b) \sqrt {\cos ^2(e+f x)} \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {1-x^2} \sqrt {a+b-a x^2}} \, dx,x,\sin (e+f x)\right )}{3 f \sqrt {a+b-a \sin ^2(e+f x)}}+\frac {\left (2 (a+2 b) \sqrt {\cos ^2(e+f x)} \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}\right ) \text {Subst}\left (\int \frac {\sqrt {a+b-a x^2}}{\sqrt {1-x^2}} \, dx,x,\sin (e+f x)\right )}{3 f \sqrt {a+b-a \sin ^2(e+f x)}} \\ & = \frac {a \cos ^2(e+f x) \sin (e+f x) \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}}{3 f}+\frac {\left (2 (a+2 b) \sqrt {\cos ^2(e+f x)} \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}\right ) \text {Subst}\left (\int \frac {\sqrt {1-\frac {a x^2}{a+b}}}{\sqrt {1-x^2}} \, dx,x,\sin (e+f x)\right )}{3 f \sqrt {1-\frac {a \sin ^2(e+f x)}{a+b}}}-\frac {\left (b (a+b) \sqrt {\cos ^2(e+f x)} \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )} \sqrt {1-\frac {a \sin ^2(e+f x)}{a+b}}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {1-x^2} \sqrt {1-\frac {a x^2}{a+b}}} \, dx,x,\sin (e+f x)\right )}{3 f \left (a+b-a \sin ^2(e+f x)\right )} \\ & = \frac {a \cos ^2(e+f x) \sin (e+f x) \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}}{3 f}+\frac {2 (a+2 b) \sqrt {\cos ^2(e+f x)} E\left (\arcsin (\sin (e+f x))\left |\frac {a}{a+b}\right .\right ) \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )}}{3 f \sqrt {1-\frac {a \sin ^2(e+f x)}{a+b}}}-\frac {b (a+b) \sqrt {\cos ^2(e+f x)} \operatorname {EllipticF}\left (\arcsin (\sin (e+f x)),\frac {a}{a+b}\right ) \sqrt {\sec ^2(e+f x) \left (a+b-a \sin ^2(e+f x)\right )} \sqrt {1-\frac {a \sin ^2(e+f x)}{a+b}}}{3 f \left (a+b-a \sin ^2(e+f x)\right )} \\ \end{align*}
Time = 2.74 (sec) , antiderivative size = 179, normalized size of antiderivative = 0.74 \[ \int \cos ^3(e+f x) \left (a+b \sec ^2(e+f x)\right )^{3/2} \, dx=\frac {\cos (e+f x) \sqrt {a+b \sec ^2(e+f x)} \left (4 \sqrt {2} \left (a^2+3 a b+2 b^2\right ) \sqrt {\frac {a+2 b+a \cos (2 (e+f x))}{a+b}} E\left (e+f x\left |\frac {a}{a+b}\right .\right )-2 \sqrt {2} b (a+b) \sqrt {\frac {a+2 b+a \cos (2 (e+f x))}{a+b}} \operatorname {EllipticF}\left (e+f x,\frac {a}{a+b}\right )+a (a+2 b+a \cos (2 (e+f x))) \sin (2 (e+f x))\right )}{6 f (a+2 b+a \cos (2 (e+f x)))} \]
[In]
[Out]
Result contains complex when optimal does not.
Time = 3.14 (sec) , antiderivative size = 6947, normalized size of antiderivative = 28.83
[In]
[Out]
\[ \int \cos ^3(e+f x) \left (a+b \sec ^2(e+f x)\right )^{3/2} \, dx=\int { {\left (b \sec \left (f x + e\right )^{2} + a\right )}^{\frac {3}{2}} \cos \left (f x + e\right )^{3} \,d x } \]
[In]
[Out]
Timed out. \[ \int \cos ^3(e+f x) \left (a+b \sec ^2(e+f x)\right )^{3/2} \, dx=\text {Timed out} \]
[In]
[Out]
\[ \int \cos ^3(e+f x) \left (a+b \sec ^2(e+f x)\right )^{3/2} \, dx=\int { {\left (b \sec \left (f x + e\right )^{2} + a\right )}^{\frac {3}{2}} \cos \left (f x + e\right )^{3} \,d x } \]
[In]
[Out]
\[ \int \cos ^3(e+f x) \left (a+b \sec ^2(e+f x)\right )^{3/2} \, dx=\int { {\left (b \sec \left (f x + e\right )^{2} + a\right )}^{\frac {3}{2}} \cos \left (f x + e\right )^{3} \,d x } \]
[In]
[Out]
Timed out. \[ \int \cos ^3(e+f x) \left (a+b \sec ^2(e+f x)\right )^{3/2} \, dx=\int {\cos \left (e+f\,x\right )}^3\,{\left (a+\frac {b}{{\cos \left (e+f\,x\right )}^2}\right )}^{3/2} \,d x \]
[In]
[Out]